Domain theory

Results: 638



#Item
501Randomness / Complexity classes / Probabilistic complexity theory / Quantum complexity theory / Automated planning and scheduling / Algorithm / Planning Domain Definition Language / Monte Carlo method / SL / Theoretical computer science / Computational complexity theory / Applied mathematics

RFF: A Robust, FF-Based MDP Planning Algorithm for Generating Policies with Low Probability of Failure Florent Teichteil-K¨onigsbuch and Guillaume Infantes Ugur Kuter

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2008-09-15 10:48:04
502Auction / Door prize / KVUE / Raffle / Gaming / Entertainment / Television in the United States / Lotteries / Auction theory / Auctioneering

EVENT AGENDA Wednesday, November 6, 2013 Networking Reception 5:30 –7:30pm :: Neiman Marcus in The Domain Sips & Snacks :: Holiday gift ideas :: Fall beauty essentials :: $10,000 Diamond Ring Raffle :: Awesome women ::

Add to Reading List

Source URL: wcctconnect.com

Language: English - Date: 2013-11-01 19:25:33
503Mathematical analysis / Order theory / Calculus / Continuous function / Complete partial order / Metric space / Domain theory / Convex function / Kernel / Mathematics / Structure / Topology

Fractals and domain theory Keye Martin Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD [removed] http://web.comlab.ox.ac.uk/oucl/work/keye.martin

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2012-12-26 17:34:16
504Order theory / Calculus / Continuous function / Complete partial order / Domain theory / Metric space / Galois connection / Pointwise / Mathematics / Mathematical analysis / Structure

The measurement process in domain theory Keye Martin Department of Mathematics, Tulane University, New Orleans, LA 70118, USA Fax[removed]removed] http://www.math.tulane.edu/˜martin

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2012-12-25 23:14:56
505Mathematical analysis / Calculus / Mathematical structures / Functions and mappings / Domain theory / Complete partial order / Completeness / Continuous function / Metric space / Mathematics / Order theory / Algebra

Domain theory and measurement Keye Martin Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed]

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2012-12-25 23:16:18
506Space / Metric geometry / Order theory / Complete partial order / Metrization theorem / Metric space / Domain theory / Continuous function / Polish space / Topology / Mathematics / General topology

Topological games in domain theory Keye Martin Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD [removed] http://web.comlab.ox.ac.uk/oucl/work/keye.martin

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2012-12-25 23:15:04
507Commutative algebra / Algebraic number theory / Field theory / Algebraic structures / Unique factorization domain / Ring / Integral domain / Algebraic number field / Euclidean domain / Abstract algebra / Algebra / Ring theory

Algebraic Number Theory Course Notes (Fall[removed]Math 8803, Georgia Tech Matthew Baker E-mail address: [removed] School of Mathematics, Georgia Institute of Technology, Atlanta, GA[removed], USA

Add to Reading List

Source URL: people.math.gatech.edu

Language: English - Date: 2013-01-04 16:28:53
508Structure / Partially ordered set / Causal sets / Continuous function / Domain theory / Globally hyperbolic manifold / Spacetime topology / Completeness / Filter / Order theory / Mathematics / Physics

Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed]

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2012-12-25 23:16:06
509Ring / Field / Integral domain / Commutative ring / Finite field / Characteristic / Subring / Inverse element / Unique factorization domain / Abstract algebra / Algebra / Ring theory

MATH 228: COMMUTATIVE RING THEORY James D. Lewis TABLE OF CONTENTS • •

Add to Reading List

Source URL: www.math.ualberta.ca

Language: English - Date: 2002-01-10 00:16:37
510Structure / Semigroup theory / Category theory / Monoid / Complete partial order / Domain theory / Fixed-point theorem / Knaster–Tarski theorem / Congruence lattice problem / Mathematics / Abstract algebra / Order theory

Nothing can be fixed Keye Martin Naval Research Laboratory Washington, DC[removed]removed]

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2013-03-09 17:56:21
UPDATE